[1mMain.hs:5.15-19:[1;31m error:[0m[1m
   • Type F Int has kind Type -> Type, but should have kind Type
  [1;34m|[0m
[1;34m5[0m [1;34m| [0mdata instance [1;31mF Int[0m = MkF
  [1;34m|[0m               [1;31m^^^^^[0m

[1mMain.hs:5.15:[1;31m error:[0m[1m
   • Data family takes 2 arguments, but instance has 1
   • In data family instance 'F Int':
  [1;34m|[0m
[1;34m5[0m [1;34m| [0mdata instance [1;31mF[0m Int = MkF
  [1;34m|[0m               [1;31m^[0m

