Coalgebraic modelling door