:set -XAllowAmbiguousTypes
class Foo a where foo :: String
:t foo