Claro, pero como estás haciendo una aplicación, entonces no tenés que poner el tipo del parámetro de la función.
Por ejemplo, not tiene tipo Bool -> Bool, pero not True tiene tipo Bool.
saludos
Por ejemplo, not tiene tipo Bool -> Bool, pero not True tiene tipo Bool.
saludos