Type error: Unhandled error: function annot mismatch: (Type : Kind) : Type