[1mMain.hs:2.9-14:[1;31m error:[0m[1m
   • Cannot unify '[1;32mt[0m'[1m with '[1;32m[t][0m'[1m because of occurs check
   • Relevant bindings:
       x :: [1;32mt[0m[1m
       f :: [1;32mt -> [t][0m[1m
   • In expression '[x] : []':
   • In equation `f x  = x : ([x] : [])`
  [1;34m|[0m
[1;34m2[0m [1;34m| [0mf x = x:[1;31m[x]:[][0m
  [1;34m|[0m         [1;31m^^^^^^[0m

