洗練型のシステムを実装する際に、型が整形式であることを確認する必要があります。たとえば、Num[100,0]のようなタイプは発生しません.は、lbより大きく、ubより小さい数字のタイプです。私は、書いた：「restricted Monad」の既知の問題に私を得た -- FORMATION RULES
class RefTy t
where tyOK :: t -> Bool
in
私はBの仕様で次のようしている考えてみましょう： - flower <: FLOWER
age <: AGE
owner <: OWNER
Type <: flower * age
Buyer : owner <-> flower
は、それが可能に続くように私は、洗練を作成するためです： - flower <: FLOWER
age <: AGE
owner <: OWNER
T