:set -XMultiParamTypeClasses
class Foo where foo :: Int
:t foo