-- @shouldFailWith OrphanTypeDeclaration
module OrphanTypeDecl where

fn :: Number -> Boolean