optypeFromArity :: Int -> OpType
optypeFromArity i = defaultType { opArity = i }
optypeFromArity :: Int -> OpType
optypeFromArity i = defaultType { opArity = i }
optypeFromArity i = defaultType { opArity = i }