module ConstrainedArgument where

class Foo t

type WithoutArgs      = forall a. (Partial => a) -> a
type WithArgs         = forall a. (Foo a => a) -> a
type MultiWithoutArgs = forall a. (Partial => Partial => a) -> a
type MultiWithArgs    = forall a b. (Foo a => Foo b => a) -> a