amuletml/amulet

Constructors are in scope in their own types

plt-amy opened this issue · 0 comments

plt-amy commented 
type t 'a = T : t T