Creating Haskell datatype accepting type of non-* kind in one of its constructors...

Ivory: how to use the ivory-hw package...