1 2 3 4 5 6
{-# LANGUAGE PartialTypeSignatures #-} module T14449 where f :: a -> b -> _ f x y = [x, y]