-- Kind error message

module ShouldFail where

f :: [Maybe]
f x = x