M : T in val
(if M only uses value constructors).
M : T in central
(if M only uses value
and central constructors).
M : T in proc
(M can use any constructor).
M : T in val
(if M only uses value constructors).
M : T in central
(if M only uses value
and central constructors).
M : T in proc
(M can use any constructor).