(* -> *) -> Constraint