MO.Compile
type MethodName
class Method m a
data SimpleMethod m
data AnyMethod m