1 2 3 4 5
module ShouldFail where -- strictness annotations on the argument to a newtype constructor -- are not allowed. newtype N a = T ![a]