T21871.hs:13:36: error:
    • Couldn't match kind ‘k’ with ‘*’
      Expected kind ‘* -> *’, but ‘m’ has kind ‘k -> *’
      ‘k’ is a rigid type variable bound by
        the newtype declaration for ‘FooT’
        at T21871.hs:(10,1)-(13,36)
    • In the second argument of ‘ReaderT’, namely ‘m’
      In the newtype declaration for ‘FooT’