/* * ------------------------------------------- * Model * ------------------------------------------- */ export interface Endomorphism { (a: A): A }