Function types are not properly checked

[Maylibooyah69]

Hello, a problem for defining function types is that the exact types of the function is not actually checked, any function type will satify the test function

const isOdd = def('isOdd')({})([$.Number,$.Boolean])((n) => n % 2 === 1);
//test :: Array Type -> Type -> a -> Boolean : test if the value is of the type
console.log($.test(env)($.Fn($.Boolean)($.Boolean))(isOdd)) // this is always true