Abomination.purs

module Abomination where

jsx ∷
  ∀ to thru from.
  Lacks "kids" from =>
  Justifiable { | Kids from } { | Kids thru } =>
  Fillable { | Kids thru } { | Kids to } =>
  -- arguments
  ReactComponent (Record (Kids to)) ->
  Record from ->
  Array JSX ->
  JSX
jsx x partialProps kids = element x props
  where
  props ∷ Record (Kids to)
  props = justifill partialPropsWithKids
  partialPropsWithKids ∷ Record (Kids from)
  partialPropsWithKids = insert _kids kids partialProps
  _kids = SProxy ∷ SProxy "kids"