Linear arrow allowed in kind by writing 'GHC.Exts.FUN One'
If I write
-- • Linear arrows disallowed in kinds: Type #-> Type
-- • In the kind ‘Type #-> Type’
-- In the data type declaration for ‘One’
data One :: Type #-> Typebut if I import GHC.Exts.FUN, the following compiles
data Two :: FUN One Type Typeit can even be made multiplicity polymorphic
data Two :: forall {m :: Multiplicity}. FUN m Type Type