module T7368 where

f  = b  (l  Nothing)

l :: b a -> c b
l = undefined

b :: (a -> b) -> c
b = undefined