module UVMHS.Core.Data.Unit where

import UVMHS.Core.Init
import UVMHS.Core.Classes

instance Null () where null :: ()
null = ()
instance Append () where () ⧺ :: () -> () -> ()
⧺ () = ()
instance Monoid ()

instance Zero () where zero :: ()
zero = ()
instance Plus () where + :: () -> () -> ()
(+) = (() -> ()) -> () -> () -> ()
forall a b. a -> b -> a
const ((() -> ()) -> () -> () -> ()) -> (() -> ()) -> () -> () -> ()
forall a b. (a -> b) -> a -> b
$ () -> () -> ()
forall a b. a -> b -> a
const ()
instance Additive ()