haskell-tools-builtin-refactorings-1.0.0.0: examples/Decl/MixedInstance.hs

{-# LANGUAGE TypeFamilies, MultiParamTypeClasses #-}
module Decl.MixedInstance where

data Canvas = Canvas
data V2 = V2

class Backend c v e where
  data Options c v e :: *

instance Backend Canvas V2 Double where
  data Options Canvas V2 Double = CanvasOptions