holeF :: F a b nullLF :: F a b
holeF
listLF (tableP 2) [holeF,topBorderF,leftBorderF,mainF]
holeF = nullLF