Data.StackPrism.Generic
mkPrismList
type StackPrisms a
data family PrismList f a
type StackPrism a b
data h :- t