[1mMain.hs:7.19:[1;31m error:[0m[1m
   • Cannot unify '[1;32mm[0m'[1m with '[1;32mI a[0m'[1m because the quantified variable '[1;32ma[0m[1m' would escape its scope.
   • Relevant bindings:
       i :: [1;32mI a[0m[1m
       unI :: [1;32mSomeI -> m[0m[1m
   • In equation `unI (Main.MkSomeI i)  = i`
  [1;34m|[0m
[1;34m7[0m [1;34m| [0munI (MkSomeI i) = [1;31mi[0m
  [1;34m|[0m                   [1;31m^[0m

