IdrisDoc: Effect.Default

Effect.Default

interface Default 
default : Default a => a