F-Coalgebra loading ...