@@ -462,20 +462,14 @@ instance (DomBuilder t m, Monoid w, MonadHold t m, MonadFix m) => DomBuilder t (
462462
463463-- * Convenience functions
464464
465−class Unconstrained g h
466−instance Unconstrained g h
467−
468−class DomBuilderSpace a ~ DomBuilderSpace b => SameDomBuilderSpace a b
469−instance DomBuilderSpace a ~ DomBuilderSpace b => SameDomBuilderSpace a b
470−
471465--TODO: Move/replace
472466class Functor1 (f :: (k -> *) -> *) where
473− type Functor1Constraint f :: (k -> *) -> (k -> *) -> Constraint
474− type Functor1Constraint f = Unconstrained
467+ type Functor1Constraint f (a :: k -> *) (b :: k -> *) :: Constraint
468+ type Functor1Constraint f a b = ()
475469 fmap1 :: Functor1Constraint f a b => (forall x. a x -> b x) -> f a -> f b
476470
477471instance Functor1 (ElementConfig er t) where
478− type Functor1Constraint (ElementConfig er t) = SameDomBuilderSpace
472+ type Functor1Constraint (ElementConfig er t) a b = DomBuilderSpace a ~ DomBuilderSpace b
479473 {-# INLINABLE fmap1 #-}
480474 fmap1 _ cfg = cfg
481475 { _elementConfig_eventSpec = _elementConfig_eventSpec cfg
@@ -488,19 +482,19 @@ instance Reflex t => Functor1 (PlaceholderConfig above t) where
488482 }
489483
490484instance Functor1 (InputElementConfig er t) where
491− type Functor1Constraint (InputElementConfig er t) = Functor1Constraint (ElementConfig er t)
485+ type Functor1Constraint (InputElementConfig er t) a b = Functor1Constraint (ElementConfig er t) a b
492486 fmap1 f cfg = cfg & inputElementConfig_elementConfig %~ fmap1 f
493487
494488instance Functor1 (TextAreaElementConfig er t) where
495− type Functor1Constraint (TextAreaElementConfig er t) = Functor1Constraint (ElementConfig er t)
489+ type Functor1Constraint (TextAreaElementConfig er t) a b = Functor1Constraint (ElementConfig er t) a b
496490 fmap1 f cfg = cfg & textAreaElementConfig_elementConfig %~ fmap1 f
497491
498492instance Functor1 (SelectElementConfig er t) where
499− type Functor1Constraint (SelectElementConfig er t) = Functor1Constraint (ElementConfig er t)
493+ type Functor1Constraint (SelectElementConfig er t) a b = Functor1Constraint (ElementConfig er t) a b
500494 fmap1 f cfg = cfg & selectElementConfig_elementConfig %~ fmap1 f
501495
502496instance Functor1 (RawElementConfig er t) where
503− type Functor1Constraint (RawElementConfig er t) = SameDomBuilderSpace
497+ type Functor1Constraint (RawElementConfig er t) a b = DomBuilderSpace a ~ DomBuilderSpace b
504498 {-# INLINABLE fmap1 #-}
505499 fmap1 _ cfg = cfg
506500 { _rawElementConfig_eventSpec = _rawElementConfig_eventSpec cfg