MAAM.Time

class Time ψ τ

data Cτ ψ

data Kτ k ψ

data Zτ ψ