[1mMain.hs:5.17:[1;31m error:[0m[1m
   • Expected '[1;32mm[0m'[1m but got '[1;32mb[0m'[1m
   • Relevant bindings:
       x :: [1;32mb[0m[1m
       f :: [1;32mb -> a[0m[1m
       apply :: [1;32mT a -> m[0m[1m
   • In equation `apply (Main.T f x)  = x`
  [1;34m|[0m
[1;34m5[0m [1;34m| [0mapply (T f x) = [1;31mx[0m
  [1;34m|[0m                 [1;31m^[0m

