import "lib/maybe.kmp" import "lib/either.kmp" mkJustRight : Int -- ((Either Int) (Maybe Int)) =: [ Just Right ] %foreign kabi mkJustRight