Would love a complete `Person` example :) about hypertypes HOT 4 OPEN

Hmm; maybe the answer is this:

data HMaybe a
    = HNothing
    | HJust    (a :# HMaybe)

maybePerson :: HMaybe # Person
maybePerson = HJust $ Person
  { height = HNothing
  , weight = HNothing
  , name   = HJust $ Const "Name"
  }

?

from hypertypes.

I guess I was hoping there was a way to re-use existing types instead of defining my own? But I can live with the fact that there isn't; but I'm sure there's a way to make it work ...

from hypertypes.

I'm fairly sure there has to be a way to define a kind of ToHyper type that would take a Maybe type as an argument; but I'm struggling to make that work ...

from hypertypes.

I feel like I'm missing access to a crucial type variable.

I want to write:

data ToHyper :: (Type -> Type) -> AHyperType -> Type where
  ToHyper :: f :# ToHyper f -> ToHyper f h

but I somehow need to get out the variable of AHyperType and apply f to it; but I'm not sure how.

from hypertypes.