Morphism checking is enabled by default
Arrow use Curry
Added with_default to Curry
from_func use a sig type identified by a str