haskell - Haskell ダイアグラム整列関数

Question

Haskell ダイアグラムを使用して、2 つのダイアグラムを互いに水平/垂直に隣接させて (||| または === のように) 配置する独自の関数を作成しようとしていますが、それらの間にスペースがあります。このようにしようとすると、次のエラーが表示されます:不正な等式制約 V a ~ R2

emptyBlock = rect (3) (1) # fc white # lc white
(||||) :: (Juxtaposable a, V a ~ R2, Semigroup a) => a -> a -> a
(||||) = (|||) emptyBlock (|||)
(====) :: (Juxtaposable a, V a ~ R2, Semigroup a) => a -> a -> a
(====) = (===) emptyBlock (===)

誰かがこの問題を解決するのを手伝ってくれたら、とても感謝しています。