MAlonzo.Code.Agda.Builtin.Equality
d__'8801'__12 :: p -> p -> p -> p -> () #
data T__'8801'__12 #
Constructors