type Hello { greeting(who: String!): String! } data Hello = Hello { greeting :: String -> String }