MAAM.Time

class Time τ

data Cτ ψ

data Kτ k ψ

data Zτ ψ