You can do unsound propositions as this is an open...

# functional

[raulraja]

You can do unsound propositions as this is an open door to replace Subtyping by composition with access to all types in the type system from Any? To Nothing. It's not ment to be used to model applications but type system features such as those proposed in the arrow prelude.