Explicit type declarations for constructors must be of the form 'ty1 . tyN -> resTy'. Parentheses may be required around ...