SymbolのリストとTypeから、Typeがすべて等しいRowを作る

HomogeneousRow.purs

module HomogeneousRow where

import Prim.Row (class Cons, class Lacks)
import Type.Data.List (Cons', List', Nil')

class HomogeneousRow :: forall k. List' -> k -> Row k -> Constraint
class HomogeneousRow list k row | list k -> row, row -> list

instance homogeneousRow :: HomogeneousRow Nil' typ ()
else instance homogeneousRowCons ::
  ( Lacks sym row'
  , Cons sym typ row' row
  , HomogeneousRow tail typ row'
  ) =>
  HomogeneousRow (Cons' sym tail) typ row