alright... vdp syntax question again. f :: forall a -> (String, Proxy a) f a = ("test", Proxy @a) How to rid the "Proxy" here, again :)