kind.kmp

type Maybe a { Just a | Nothing }

poorlyKinded : (Maybe Maybe) --
             =: [ drop ]