data -- corresponds most with keyword class in Cpp/Java
type -- typedef
newtype -- mixture of typedef, and data with some restrictions
class -- corresponds to interface
instance -- corresponds to implements
kind
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment