Expecting fe :: [[[Int]]] -> [[[a]]] or equivalent OK